Embedded model control, performance limits: A case study
نویسندگان
چکیده
منابع مشابه
a study on insurer solvency by panel data model: the case of iranian insurance market
the aim of this thesis is an approach for assessing insurer’s solvency for iranian insurance companies. we use of economic data with both time series and cross-sectional variation, thus by using the panel data model will survey the insurer solvency.
A Case Study on Exploring the Performance Limits of PRISM∗
We investigate based on a simple system model the range of applicability of the probabilistic model checker PRISM. In particular, we analyze the effect of the choice of the checking engine, of the numerical equation solver, and of other settings on the time and memory required for the analysis of the model by PRISM. The results demonstrate that not always the same engine is the fastest one but ...
متن کاملControl Performance Limits
Department ofPathology, Kaiser Foundation Laboratories (Oregon Region), Clackamas, Oregon 970151; Department of Microbiology, The Cleveland Clinic Foundation, Cleveland, Ohio 441062; Medical Microbiology Laboratory, University of California, Davis, Medical Center, Sacramento, California 958173; Antimicrobics Investigations Section, Centers for Disease Control, Atlanta, Georgia 303334; and Pfize...
متن کاملPerformance Evaluation of Embedded ECA Rule Engines: A Case Study
Embedded systems operating on high data workloads are becoming pervasive. ECA rule engines provide a flexible environment to support the management, reconfiguration and execution of business rules. However, modeling the performance of a rule engine is challenging because of its reactive nature. In this work we present the performance analysis of an ECA rule engine in the context of a supply cha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DYNA
سال: 2017
ISSN: 2346-2183,0012-7353
DOI: 10.15446/dyna.v84n201.59165